English primitive recursion: translation to other languages